Analysis of Schemas with Access Restrictions
نویسندگان
چکیده
منابع مشابه
A Analysis of Schemas With Access Restrictions
We study verification of systems whose transitions consist of accesses to a Web-based data-source. An access is a lookup on a relation within a relational database, fixing values for a set of positions in the relation. For example, a transition can represent access to a Web form, where the user is restricted to filling in values for a particular set of fields. We look at verifying properties of...
متن کاملQuerying Schemas With Access Restrictions
We study verification of systems whose transitions consist of accesses to a Web-based data-source. An access is a lookup on a relation within a relational database, fixing values for a set of positions in the relation. For example, a transition can represent access to a Web form, where the user is restricted to filling in values for a particular set of fields. We look at verifying properties of...
متن کاملAnalyzing Split Channel Medium Access Control Schemas with ALOHA Reservation
In order to improve the throughput performance of Medium Access Control (MAC) schemes in wireless communication networks, some researchers proposed to split the single shared channel into two subchannels: a control subchannel and a data subchannel. The control subchannel is used for access reservation to the data subchannel over which the data packets are transmitted, and such reservation can b...
متن کاملAccess restrictions to and with description logic web ontologies
Access restrictions are essential in standard information systems and became an issue for ontologies in the following two aspects. Ontologies can represent explicit and implicit knowledge about an access policy. For this aspect we provided a methodology to represent and systematically complete role-based access control policies. Orthogonally, an ontology might be available for limited reading a...
متن کاملLiu Estimates and Influence Analysis in Regression Models with Stochastic Linear Restrictions and AR (1) Errors
In the linear regression models with AR (1) error structure when collinearity exists, stochastic linear restrictions or modifications of biased estimators (including Liu estimators) can be used to reduce the estimated variance of the regression coefficients estimates. In this paper, the combination of the biased Liu estimator and stochastic linear restrictions estimator is considered to overcom...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Database Systems
سال: 2015
ISSN: 0362-5915,1557-4644
DOI: 10.1145/2699500